• Modellierung und Verifikation adaptiver Echtzeitsysteme mittels Timed CSP

  Schwarze, Max

• Automatisierte Generierung von Controller-Modellen aus zeitbehafteten Plänen zur Steuerung verteilter Geräte

  Falkmeyer, Sandra

• Bounded Model Checking für Timed CSP Prozesse

  Kuhnert, Joachim

• Strong Distributability Criteria for Petri Nets

  Mennicke, Stephan

• Controller Synthesis for discrete event Systems in the Setting of a a regular plant and a deterministic context-free specification in libFaudes

  Jacobi, Stefan

• Testfallgenerierung mit Binary Decision Diagrams für Klassifikationsbäume mit Abhängigkeiten

  Reicherdt, Robert